
public class IsdummyPE extends EnvTreeNode implements PEObject{

	public IsdummyPE() {
		super("<PE:Isdummy>");
	}

	public String apply(String param1, String param2){
		if ( param1.equals("<dummy>")){
			return "<true>";
		}else{
			return "<false>";
		}
	}
}
